Benoit, Baudry: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Halin, Axel, Nuttinck, Alexandre, Acher, Mathieu, Devroey, Xavier, Perrouin, Gilles, Baudry, Benoit

Journal:

Empirical Software Engineering

Year:

2018

Language:

english

File:

PDF, 3.63 MB

english, 2018

2

Measuring design testability of a UML class diagram

Benoit Baudry, Yves Le Traon

Journal:

Information and Software Technology

Year:

2005

Language:

english

File:

PDF, 420 KB

english, 2005

3

Stomach-brain synchrony reveals a novel, delayed-connectivity resting-state network in humans

Rebollo, Ignacio, Devauchelle, Anne-Dominique, Béranger, Benoît, Tallon-Baudry, Catherine

Journal:

Year:

2018

Language:

english

File:

PDF, 2.36 MB

english, 2018

4

Leveraging metamorphic testing to automatically detect inconsistencies in code generator families

Boussaa, Mohamed, Barais, Olivier, Sunyé, Gerson, Baudry, Benoit

Journal:

Software Testing, Verification and Reliability

Year:

2020

Language:

english

File:

PDF, 2.24 MB

english, 2020

5

[IEEE 2016 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Symposium on Security and Privacy (SP) - Beauty and the Beast: Diverting Modern Web Browsers to Build Unique Browser Fingerprints

Laperdrix, Pierre, Rudametkin, Walter, Baudry, Benoit

Year:

2016

Language:

english

File:

PDF, 455 KB

english, 2016

6

Modeling modeling modeling

Muller, Pierre-Alain, Fondement, Frédéric, Baudry, Benoît, Combemale, Benoît

Journal:

Software & Systems Modeling

Year:

2012

Language:

english

File:

PDF, 1.44 MB

english, 2012

7

Breathing ontological knowledge into feature model synthesis: an empirical study

Bécan, Guillaume, Acher, Mathieu, Baudry, Benoit, Nasr, Sana Ben

Journal:

Empirical Software Engineering

Year:

2016

Language:

english

File:

PDF, 3.73 MB

english, 2016

8

User interface design smell: Automatic detection and refactoring of Blob listeners

Blouin, Arnaud, Lelli, Valéria, Baudry, Benoit, Coulon, Fabien

Journal:

Information and Software Technology

Year:

2018

Language:

english

File:

PDF, 2.26 MB

english, 2018

9

Leveraging metamorphic testing to automatically detect inconsistencies in code generator families

Boussaa, Mohamed, Barais, Olivier, Sunyé, Gerson, Baudry, Benoit

Journal:

Software Testing, Verification and Reliability

Year:

2020

File:

PDF, 2.24 MB

2020

10

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Classifying and Qualifying GUI Defects

Lelli, Valeria, Blouin, Arnaud, Baudry, Benoit

Year:

2015

Language:

english

File:

PDF, 434 KB

english, 2015

11

Automated Extraction of Product Comparison Matrices From Informal Product Descriptions

Nasr, Sana Ben, Bécan, Guillaume, Acher, Mathieu, Ferreira Filho, João Bosco, Sannier, Nicolas, Baudry, Benoit, Davril, Jean-Marc

Journal:

Journal of Systems and Software

Year:

2016

Language:

english

File:

PDF, 2.13 MB

english, 2016

12

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Exhaustive Exploration of the Failure-Oblivious Computing Search Space

Durieux, Thomas, Hamadi, Youssef, Yu, Zhongxing, Baudry, Benoit, Monperrus, Martin

Year:

2018

Language:

english

File:

PDF, 255 KB

english, 2018

13

Minimising trapping effort without affecting population density estimations for small mammals

Castañeda, Irene, Pisanu, Benoît, Díaz, Mario, Rézouki, Célia, Baudry, Emmanuelle, Chapuis, Jean-Louis, Bonnaud, Elsa

Journal:

Mammalian Biology - Zeitschrift für Säugetierkunde

Year:

2018

Language:

english

File:

PDF, 652 KB

english, 2018

14

Digital twin and virtual reality: a co-simulation environment for design and assessment of industrial workstations

Havard, Vincent, Jeanne, Benoit, Lacomblez, Marc, Baudry, David

Journal:

Production & Manufacturing Research

Year:

2019

Language:

english

File:

PDF, 3.14 MB

english, 2019

15

[IEEE 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR) - The Maven Dependency Graph: A Temporal Graph-Based Representation of Maven Central

Benelallam, Amine, Harrand, Nicolas, Soto-Valero, Cesar, Baudry, Benoit, Barais, Olivier

Year:

2019

Language:

english

File:

PDF, 2.92 MB

english, 2019

16

A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM

Zhang, Long, Morin, Brice, Haller, Philipp, Baudry, Benoit, Monperrus, Martin

Journal:

IEEE Transactions on Software Engineering

Year:

2019

File:

PDF, 3.30 MB

2019

17

[IEEE 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR) - The Emergence of Software Diversity in Maven Central

Soto-Valero, Cesar, Benelallam, Amine, Harrand, Nicolas, Barais, Olivier, Baudry, Benoit

Year:

2019

File:

PDF, 453 KB

2019

18

Guest Editorial for Special Section on Mutation Testing

Benoit Baudry, Jeremy Bradbury, Gordon Fraser

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 127 KB

english, 2011

19

From diagnosis to diagnosability: axiomatization, measurement and application

Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry

Journal:

Journal of Systems and Software

Year:

2003

Language:

english

File:

PDF, 448 KB

english, 2003

20

From genetic to bacteriological algorithms for mutation-based testing

Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon

Journal:

Software Testing, Verification and Reliability

Year:

2005

Language:

english

File:

PDF, 365 KB

english, 2005

21

An approach for testing pointcut descriptors in AspectJ

Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon

Journal:

Software Testing, Verification and Reliability

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

22

Qualifying input test data for model transformations

Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon

Journal:

Software & Systems Modeling

Year:

2009

Language:

english

File:

PDF, 2.26 MB

english, 2009

23

Model-driven generative development of measurement software

Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 940 KB

english, 2011

24

Reusable model transformations

Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel

Journal:

Software & Systems Modeling

Year:

2012

Language:

english

File:

PDF, 4.80 MB

english, 2012

25

Lattice Relaxation and Dislocation Reduction in MBE CdTe(211)B/Ge(211)

Giacomo Badano, Patrice Gergaud, Ivan C. Robin, Xavier Baudry, Benoît Amstatt, Fréderique Gemain

Journal:

Journal of Electronic Materials

Year:

2010

Language:

english

File:

PDF, 282 KB

english, 2010

26

[IEEE 2012 3rd International Workshop on Product LinE Approaches in Software Engineering (PLEASE) - Zurich, Switzerland (2012.06.4-2012.06.4)] 2012 Third International Workshop on Product LinE Approaches in Software Engineering (PLEASE) - Leveraging variability modeling for multi-dimensional Model-driven Software Product Lines

Filho, Joao Bosco Ferreira, Barais, Olivier, Baudry, Benoit, Le Noir, Jerome

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

27

[ACM Press the 16th International Software Product Line Conference - Salvador, Brazil (2012.09.02-2012.09.07)] Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 - An approach for semantic enrichment of software product lines

Filho, João Bosco Ferreira, Barais, Olivier, Baudry, Benoit, Viana, Windson, Andrade, Rossana M. C.

Year:

2012

Language:

english

File:

PDF, 1.43 MB

english, 2012

28

Usage and testability of AOP: An empirical study of AspectJ

Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 856 KB

english, 2013

29

Pairwise testing for software product lines: comparison of two approaches

Gilles Perrouin, Sebastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves le Traon

Journal:

Software Quality Journal

Year:

2012

Language:

english

File:

PDF, 1.23 MB

english, 2012

30

Simulation Analysis of the Retinal Conformational Equilibrium in Dark-Adapted Bacteriorhodopsin

Baudry, Jérôme, Crouzy, Serge, Roux, Benoît, Smith, Jeremy C.

Journal:

Biophysical Journal

Year:

1999

Language:

english

File:

PDF, 540 KB

english, 1999

31

[IEEE 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007) - Annapolis, MD, USA (2007.10.15-2007.10.19)] 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007) - Model-Driven Engineering for Requirements Analysis

Baudry, Benoit, Nebut, Clementine, Traon, Yves Le

Year:

2007

Language:

english

File:

PDF, 639 KB

english, 2007

32

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Mutation Analysis for Security Tests Qualification

Mouelhi, Tejeddine, Le Traon, Yves, Baudry, Benoit

Year:

2007

Language:

english

File:

PDF, 502 KB

english, 2007

33

[IEEE 2008 IEEE International Conference on Software Maintenance (ICSM) - Beijing, China (2008.09.28-2008.10.4)] 2008 IEEE International Conference on Software Maintenance - Improving maintenance in AOP through an interaction specification framework

Munoz, Freddy, Baudry, Benoit, Barais, Olivier

Year:

2008

Language:

english

File:

PDF, 348 KB

english, 2008

34

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Model Driven Mutation Applied to Adaptative Systems Testing

Bartel, Alexandre, Baudry, Benoit, Munoz, Freddy, Klein, Jacques, Mouelhi, Tejeddine, Le Traon, Yves

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

35

[Lecture Notes in Computer Science] Software Composition Volume 6144 || Composition and Compositionality in a Component Model for Autonomous Robots

Baudry, Benoît, Wohlstadter, Eric

Year:

2010

Language:

english

File:

PDF, 287 KB

english, 2010

36

[IEEE 2012 IEEE Model-Driven Requirements Engineering Workshop (MoDRE) - Chicago, IL, USA (2012.09.24-2012.09.24)] 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE) - Toward multilevel textual requirements traceability using model-driven engineering and information retrieval

Sannier, Nicolas, Baudry, Benoit

Year:

2012

Language:

english

File:

PDF, 1.48 MB

english, 2012

37

Model-based testing of global properties on large-scale distributed systems

Sunyé, Gerson, de Almeida, Eduardo Cunha, Le Traon, Yves, Baudry, Benoit, Jézéquel, Jean-Marc

Journal:

Information and Software Technology

Year:

2014

Language:

english

File:

PDF, 1.73 MB

english, 2014

38

[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12 - Aligning SysML with the B method to provide V&V for systems engineering

Bousse, Erwan, Mentré, David, Combemale, Benoît, Baudry, Benoît, Katsuragi, Takaya

Year:

2012

Language:

english

File:

PDF, 794 KB

english, 2012

39

Globalizing Modeling Languages

Combemale, Benoit, DeAntoni, Julien, Baudry, Benoit, France, Robert B., Jezequel, Jean-Marc, Gray, Jeff

Journal:

Year:

2014

Language:

english

File:

PDF, 1.56 MB

english, 2014

40

Barriers to systematic model transformation testing

Baudry, Benoit, Ghosh, Sudipto, Fleurey, Franck, France, Robert, Le Traon, Yves, Mottu, Jean-Marie

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 156 KB

english, 2010

41

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

Perrouin, Gilles, Sen, Sagar, Klein, Jacques, Baudry, Benoit, Traon, Yves le

Year:

2010

Language:

english

File:

PDF, 1.38 MB

english, 2010

42

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Model transformation testing: oracle issue

Mottu, Jean-Marie, Baudry, Benoit, Traon, Yves Le

Year:

2008

Language:

english

File:

PDF, 249 KB

english, 2008

43

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Tailored Shielding and Bypass Testing of Web Applications

Mouelhi, Tejeddine, Le Traon, Yves, Abgrall, Erwan, Baudry, Benoit, Gombault, Sylvain

Year:

2011

Language:

english

File:

PDF, 333 KB

english, 2011

44

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - A Generic Metamodel For Security Policies Mutation

Mouelhiv, Tejeddine, Fleurey, Franck, Baudry, Benoit

Year:

2008

Language:

english

File:

PDF, 354 KB

english, 2008

45

[IEEE 2012 Fifth International Workshop on Requirements Engineering and Law (RELAW) - Chicago, IL, USA (2012.09.25-2012.09.25)] 2012 Fifth IEEE International Workshop on Requirements Engineering and Law (RELAW) - Defining and retrieving themes in nuclear regulations

Sannier, Nicolas, Baudry, Benoit

Year:

2012

Language:

english

File:

PDF, 946 KB

english, 2012

46

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Empirical evidence of large-scale diversity in API usage of object-oriented software

Mendez, Diego, Baudry, Benoit, Monperrus, Martin

Year:

2013

Language:

english

File:

PDF, 948 KB

english, 2013

47

[IEEE 2011 IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE) - Hiroshima, Japan (2011.11.29-2011.12.2)] 2011 IEEE 22nd International Symposium on Software Reliability Engineering - PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models

Hervieu, Aymeric, Baudry, Benoit, Gotlieb, Arnaud

Year:

2011

Language:

english

File:

PDF, 331 KB

english, 2011

48

[IEEE 2011 Model-Driven Requirements Engineering Workshop (MoDRE) - Trento, Italy (2011.08.29-2011.08.29)] 2011 Model-Driven Requirements Engineering Workshop - Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering

Sannier, Nicolas, Baudry, Benoit, Nguyen, Thuy

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

49

[IEEE 2009 IEEE International Conference on Software Maintenance (ICSM) - Edmonton, AB, Canada (2009.09.20-2009.09.26)] 2009 IEEE International Conference on Software Maintenance - Inquiring the usage of aspect-oriented programming: An empirical study

Munoz, Freddy, Baudry, Benoit, Delamare, Romain, Le Traon, Yves

Year:

2009

Language:

english

File:

PDF, 503 KB

english, 2009

50

[IEEE Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Raleigh, NC, USA (2006.11.7-2006.11.10)] Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Mutation-based Model Synthesis in Model Driven Engineering

Sen, Sagar, Baudry, Benoit

Year:

2006

Language:

english

File:

PDF, 1.26 MB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски